Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

Some authors have recently suggested that it is time to consider rights for robots. These suggestions are based on the claim that the question of robot rights should not depend on a standard set of conditions for ‘moral status’; but instead, the question is to be framed in a new way, by rejecting the is/ought distinction, making a relational turn, or assuming a methodological behaviourism. We try to clarify these suggestions and to show their highly problematic consequences. While we find (...) the suggestions ultimately unmotivated, the discussion shows that our epistemic condition with respect to the moral status of others does raise problems, and that the human tendency to empathise with things that do not have moral status should be taken seriously—we suggest that it produces a “derived moral status”. Finally, it turns out that there is typically no individual in real AI that could even be said to be the bearer of moral status. Overall, there is no reason to think that robot rights are an issue now. (shrink)

We argue that there is a conflict among classical theism's commitments to divine simplicity, divine creative freedom, and omniscience. We start by defining key terms for the debate related to classical theism. Then we articulate a new argument, the Aloneness Argument, aiming to establish a conflict among these attributes. In broad outline, the argument proceeds as follows. Under classical theism, it's possible that God exists without anything apart from Him. Any knowledge God has in such a world would be wholly (...) intrinsic. But there are contingent truths in every world, including the world in which God exists alone. So, it's possible that God contingently has wholly intrinsic knowledge. But whatever is contingent and wholly intrinsic is an accident. So, God possibly has an accident. This is incompatible with classical theism. Finally, we consider and rebut several objections. (shrink)

Benardete paradoxes involve a beginningless set each member of which satisfies some predicate just in case no earlier member satisfies it. Such paradoxes have been wielded on behalf of arguments for the impossibility of an infinite past. These arguments often deploy patchwork principles in support of their key linking premise. Here I argue that patchwork principles fail to justify this key premise.

I defend a new argument for causal finitism, the view that nothing can have an infinite causal history. I begin by defending a number of plausible metaphysical principles, after which I explore a host of novel variants of the Littlewood-Ross and Thomson’s Lamp paradoxes that violate such principles. I argue that causal finitism is the best solution to the paradoxes.

The standard argument to the conclusion that artificial intelligence (AI) constitutes an existential risk for the human species uses two premises: (1) AI may reach superintelligent levels, at which point we humans lose control (the ‘singularity claim’); (2) Any level of intelligence can go along with any goal (the ‘orthogonality thesis’). We find that the singularity claim requires a notion of ‘general intelligence’, while the orthogonality thesis requires a notion of ‘instrumental intelligence’. If this interpretation is correct, they cannot be (...) joined as premises and the argument for the existential risk of AI turns out invalid. If the interpretation is incorrect and both premises use the same notion of intelligence, then at least one of the premises is false and the orthogonality thesis remains itself orthogonal to the argument to existential risk from AI. In either case, the standard argument for existential risk from AI is not sound.—Having said that, there remains a risk of instrumental AI to cause very significant damage if designed or used badly, though this is not due to superintelligence or a singularity. (shrink)

A discussion of a number of ways that information can be present in a computer program without being explicitly represented.

Cognitive scientists have been debating how the folk concept of intentional action works. We suggest a simple account: people consider that an agent did X intentionally to the extent that X was causally dependent on how much the agent wanted X to happen (or not to happen). Combined with recent models of human causal cognition, this definition provides a good account of the way people use the concept of intentional action, and offers natural explanations for puzzling phenomena such as the (...) side-effect effect. We provide empirical support for our theory, in studies where we show that people’s causation and intentionality judgments track each other closely, in everyday situations as well as in scenarios with unusual causal structures. Study 5 additionally shows that the effect of norm violations on intentionality judgments depends on the causal structure of the situation, in a way uniquely predicted by our theory. Taken together, these results suggest that the folk concept of intentional action has been difficult to define because it is made of cognitive building blocks, such as our intuitive concept of causation, whose logic cognitive scientists are just starting to understand. (shrink)

In common with traditional forms of epistemic internalism, epistemological disjunctivism attempts to incorporate an awareness condition on justification. Unlike traditional forms of internalism, however, epistemological disjunctivism rejects the so-called New Evil Genius thesis. In so far as epistemological disjunctivism rejects the New Evil Genius thesis, it is revisionary. -/- After explaining what epistemological disjunctivism is, and how it relates to traditional forms of epistemic internalism / externalism, I shall argue that the epistemological disjunctivist’s account of the intuitions underlying the New (...) Evil Genius thought experiment is at best incomplete. As presented, therefore, epistemological disjunctivism is unable to accommodate the core guiding intuitions of epistemic internalism. Given the stated aim of not being revisionary on this score, the view is at a dialectical disadvantage over the traditional forms of epistemic internalism the position is meant to replace. Unfortunately, therefore, at present, the impasse between internalism and externalism remains. (shrink)

Artificial intelligence research and regulation seek to balance the benefits of innovation against any potential harms and disruption. However, one unintended consequence of the recent surge in AI research is the potential re-orientation of AI technologies to facilitate criminal acts, term in this article AI-Crime. AIC is theoretically feasible thanks to published experiments in automating fraud targeted at social media users, as well as demonstrations of AI-driven manipulation of simulated markets. However, because AIC is still a relatively young and inherently (...) interdisciplinary area—spanning socio-legal studies to formal science—there is little certainty of what an AIC future might look like. This article offers the first systematic, interdisciplinary literature analysis of the foreseeable threats of AIC, providing ethicists, policy-makers, and law enforcement organisations with a synthesis of the current problems, and a possible solution space. (shrink)

A self-fulfilling prophecy is, roughly, a prediction that brings about its own truth. Although true predictions are hard to fault, self-fulfilling prophecies are often regarded with suspicion. In this article, we vindicate this suspicion by explaining what self-fulfilling prophecies are and what is problematic about them, paying special attention to how their problems are exacerbated through automated prediction. Our descriptive account of self-fulfilling prophecies articulates the four elements that define them. Based on this account, we begin our critique by showing (...) that typical self-fulfilling prophecies arise due to mistakes about the relationship between a prediction and its object. Such mistakes—along with other mistakes in predicting or in the larger practical endeavor—are easily overlooked when the predictions turn out true. Thus we note that self-fulfilling prophecies prompt no error signals; truth shrouds their mistakes from humans and machines alike. Consequently, self-fulfilling prophecies create several obstacles to accountability for the outcomes they produce. We conclude our critique by showing how failures of accountability, and the associated failures to make corrections, explain the connection between self-fulfilling prophecies and feedback loops. By analyzing the complex relationships between accuracy and other evaluatively significant features of predictions, this article sheds light both on the special case of self-fulfilling prophecies and on the ethics of prediction more generally. (shrink)

A self-fulfilling prophecy in neuroprognostication occurs when a patient in coma is predicted to have a poor outcome, and life-sustaining treatment is withdrawn on the basis of that prediction, thus directly bringing about a poor outcome for that patient. In contrast to the predominant emphasis in the bioethics literature, we look beyond the moral issues raised by the possibility that an erroneous prediction might lead to the death of a patient who otherwise would have lived. Instead, we focus on the (...) problematic epistemic consequences of neuroprognostic SFPs in settings where research and practice intersect. When this sort of SFP occurs, the problem is that physicians and researchers are never in a position to notice whether their original prognosis was correct or incorrect, since the patient dies anyway. Thus, SFPs keep us from discerning false positives from true positives, inhibiting proper assessment of novel prognostic tests. This epistemic problem of SFPs thus impedes learning, but ethical obligations of patient care make it difficult to avoid SFPs. We then show how the impediment to catching false positive indicators of poor outcome distorts research on novel techniques for neuroprognostication, allowing biases to persist in prognostic tests. We finally highlight a particular risk that a precautionary bias towards early withdrawal of life-sustaining treatment may be amplified. We conclude with guidelines about how researchers can mitigate the epistemic problems of SFPs, to achieve more responsible innovation of neuroprognostication for patients in coma. (shrink)

One finds, in Maxwell's writings on thermodynamics and statistical physics, a conception of the nature of these subjects that differs in interesting ways from the way that they are usually conceived. In particular, though—in agreement with the currently accepted view—Maxwell maintains that the second law of thermodynamics, as originally conceived, cannot be strictly true, the replacement he proposes is different from the version accepted by most physicists today. The modification of the second law accepted by most physicists is a probabilistic (...) one: although statistical fluctuations will result in occasional spontaneous differences in temperature or pressure, there is no way to predictably and reliably harness these to produce large violations of the original version of the second law. Maxwell advocates a version of the second law that is strictly weaker; the validity of even this probabilistic version is of limited scope, limited to situations in which we are dealing with large numbers of molecules en masse and have no ability to manipulate individual molecules. Connected with this is his concept of the thermodynamic concepts of heat, work, and entropy; on the Maxwellian view, these are concepts that must be relativized to the means we have available for gathering information about and manipulating physical systems. The Maxwellian view is one that deserves serious consideration in discussions of the foundation of statistical mechanics. It has relevance for the project of recovering thermodynamics from statistical mechanics because, in such a project, it matters which version of the second law we are trying to recover. (shrink)

In previous work I have argued that talk about negative events should not be taken at face value: typically, what we are inclined to think of as a negative event (John’s failure to go jogging) is just an ordinary, positive event (his going to the movie instead); it is a positive event under a negative description. Here I consider more closely the difficulties that arise in those cases where no positive event seems available to do the job, as with putative (...) cases of causation by omission. In particular, I elaborate on Helen Beebee’s idea that not all causal explanations are reports of causation. When we mention John’s failure to turn off the gas as an explanans of why there was an explosion, we do not say what caused the explosion. We do not mention any of the relevant causes. We just remark that one sort of event that was supposed to occur, and whose occurrence would have prevented the explosion, did not in fact occur. (shrink)

One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a unique (...) and attractive way, though the nature of this connection has sometimes been misunderstood by both defenders and detractors of the theory. (shrink)

Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...) as objects of beliefs. These requirements raise questions about the number of tokens of the belief representation language needed to represent believers and propositions in their normal roles and in their roles as objects of beliefs. In this paper, we explicate the relations among nodes, mental tokens, concepts, actual objects, concepts in the belief spaces of an agent and the agent's model of other agents, concepts of other cognitive agents, and propositions. We extend, deepen, and clarify our theory of intensional knowledge representation for natural-language processing, as presented in previous papers and in light of objections raised by others. The essential claim is that tokens in a knowledge-representation system represent only intensions and not extensions. We are pursuing this investigation by building CASSIE, a computer model of a cognitive agent and, to the extent she works, a cognitive agent herself. CASSIE's mind is implemented in the SNePS knowledge-representation and reasoning system. (shrink)

This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of (...) the image of intelligent agents as central representation processors. If this paradigm shift is achieved, Brooks’ proposal for cognition without representation appears promising for full-blown intelligent agents—Though not for conscious agents. (shrink)

Many advocate practices of ‘local food’ or ‘locavorism’ as a partial solution to the injustices and unsustainability of contemporary food systems. I think that there is much to be said in favor of local food movements, but these virtues are insufficient to immunize locavorism from criticism. In particular, three duties of international ethics—beneficence, repair and fairness—may provide reasons for constraining the developed world’s permissible pursuit of local food. A complete account of why (and how) the fulfillment of these duties constrains (...) locavorism will require extensive empirical evidence about the relationship between agricultural demand-led industrialization, international trade (rules), and local food practices. In this paper I can only gesture at some of this evidence and, for that reason, my policy prescriptions are merely provisional. Instead, the upshot of this paper is that advocates of locavorism ought to be attentive to the empirical-dependence of the moral permissibility of their projects. As local food ‘scales up’—and comes to be embraced as a goal of political communities—these concerns should receive even greater attention. (shrink)

Classically, gratitude is a tri-polar construal, logically ordering a benefactor, a benefice, and a beneficiary in a favour-giving-receiving situation. Grammatically, the poles are distinguished and bound together by the prepositions ”to’ and ”for’; so I call this classic concept ”to-for’ gratitude. Classic religious gratitude follows this schema, with God as the benefactor. Such gratitude, when felt, is a religious experience, and a reliable readiness or ”habit’ of such construal is a religious virtue. However, atheists have sometimes felt an urge or (...) need for an analogous experience and virtue of gratitude, and theists sometimes feel intellectual discomfort with classical theistic gratitude on consideration of the misfortunes that characterize our life along with its blessings. In response, another conception of religious gratitude has been attempted, a construal that lacks the to-for structure. This paper probes the significance of the benefactor for gratitude, both secular and religious, and, with Søren Kierkegaard’s help, some features of the theology of classical religious gratitude that dissolve the problem of misfortunes. (shrink)

According to a popular line of reasoning, diachronic vagueness creates a problem for the endurantist conception of persistence. Some authors have replied that this line of reasoning is inconclusive, since the endurantist can subscribe to a principle of Diachronic Unrestricted Composition (DUC) that is perfectly parallel to the principle required by the perdurantist’s semantic account. I object that the endurantist should better avoid DUC. And I argue that even DUC, if accepted, would fail to provide the endurantist with the necessary (...) resources for explaining diachronic vagueness in familiar semantic terms. (shrink)

The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computationalism claims, then it can be computing either over meaningful symbols or over meaningless symbols. If it is computing over meaningful symbols its functioning presupposes the existence of meaningful symbols in the system, i.e. it implies semantic nativism. If the mind is computing over meaningless symbols, no intentional cognitive processes are available prior to symbol grounding. (...) In this case, no symbol grounding could take place since any grounding presupposes intentional cognitive processes. So, whether computing in the mind is over meaningless or over meaningful symbols, computationalism implies semantic nativism. (shrink)

Pierre-Henri Castel provides a short but richly argued precis of his recently published two-volume 1,000-page masterwork on the history of obsessive-compulsive disorder. Having not read the as-yet-untranslated books, I write this commentary from Plato’s cave, trying to infer the reality of Castel’s analysis from expository shadows. I am unlikely to be more successful than Plato’s poor troglodytes, so I apologize ahead of time for any misunderstandings. Moreover, I cannot assess Castel’s detailed evidential case for his substantive theses.1 I thus focus (...) on some key philosophical issues that impinge on an area of my concern, the concept of mental disorder. Castel is a rare breed of French.. (shrink)

A look at the dynamical concept of space and space-generating processes to be found in Kant, J.F. Herbart and the mathematician Bernhard Riemann's philosophical writings.

Recent work by Peijnenburg, Atkinson, and Herzberg suggests that infinitists who accept a probabilistic construal of justification can overcome significant challenges to their position by attending to mathematical treatments of infinite probabilistic regresses. In this essay, it is argued that care must be taken when assessing the significance of these formal results. Though valuable lessons can be drawn from these mathematical exercises (many of which are not disputed here), the essay argues that it is entirely unclear that the form of (...) infinitism that results meets a basic requirement: namely, providing an account of infinite chains of propositions qua reasons made available to agents. (shrink)

The evolutionary advantage of psychological phenomena can be gleaned by comparing them with physical traits that have proven adaptive in other organisms. The present article provides a novel evolutionary explanation of suicide in humans by comparing it with aposematism in insects. Aposematic insects are brightly colored, making them conspicuous to predators. However, such insects are equipped with toxins that cause a noxious reaction when eaten. Thus, the death of a few insects conditions predators to avoid other insects of similar coloration. (...) Analogously, human suicides may increase the credibility of future suicide threats and attempts from others, conveying an evolutionary advantage to the phenotypic expression of suicidal behavior in low-fitness contexts. (shrink)

Computer simulations of the formation and evolution of large-scale structure in the universe are integral to the enterprise of modern cosmology. Establishing the reliability of these simulations has been extremely challenging, primarily because of epistemic opacity. In this setting, robustness analysis defined by requiring converging outputs from a diverse ensemble of simulations is insufficient to determine simulation validity. We propose an alternative path of structured code validation that applies eliminative reasoning to isolate and reduce possible sources of error, a potential (...) path that is already being explored by some cosmologists. (shrink)

While theories of animal rights maintain that nonhuman animals possess prima facie rights, such as the right to life, the dominant philosophies of animal rights permit the killing of nonhuman animals for reasons of self-defense. I argue that the animal rights discourse on defensive killing is problematic because it seems to entail that any nonhuman animal who poses a threat to human beings can be justifiably harmed without question. To avoid this human-privileged conclusion, I argue that the animal rights position (...) needs to both (1) deploy a new criterion of liability to defensive harm, and (2) seriously consider whether human beings themselves are liable to defensive harm in human-animal conflicts. By shifting the focus to whether humans are liable to defensive harm, we will find that in many situations of human-animal conflict, human beings are actually the ones liable to be harmed because they are often culpable or, to some degree, morally responsible for posing an unjust threat to nonhuman animals. (shrink)

In this paper, the issues of computability and constructivity in the mathematics of physics are discussed. The sorts of questions to be addressed are those which might be expressed, roughly, as: Are the mathematical foundations of our current theories unavoidably non-constructive: or, Are the laws of physics computable?

ABSTRACT Objectives There is little research on moral uncertainties and distress of palliative and hospice care providers (PHCPs) working in jurisdictions anticipating legalising voluntary assisted dying (VAD). This study examines the perception and anticipated concerns of PHCPs in providing VAD in the State of Queensland, Australia prior to legalisation of the practice in 2021. The findings help inform strategies to facilitate training and support the health and well-being of healthcare workers involved in VAD. Design The study used a qualitative approach (...) to examine and analyse the perception and anticipated concerns of PHCPs regarding challenges of providing assisted dying in Queensland. Fourteen PHCPs were recruited using a purposive sampling strategy to obtain a broad representation of perspectives including work roles, geographical locations and workplace characteristics. Data were collected via one in-depth interview per participant. The transcripts were coded for patterns and themes using an inductive analysis approach following the tradition of Grounded Theory. Setting The study was conducted in hospital, hospice, community and residential aged care settings in Queensland, Australia. These included public and private facilities, secular and faith-based facilities, and regional/rural and urban facilities. Participants Interviews were conducted with fourteen PHCPs: 10 nurses and 4 physicians; 11 female and 3 male. The median number of years of palliative care practice was 17, ranging from 2 to 36 years. For inclusion, participants had to be practising palliative and hospice care providers. Results PHCPs are divided on whether VAD should be considered part of palliative care. Expectations of moral distress and uncertainty about practising VAD were identified in five areas: handling requests, assessing patient capacity, arranging patient transfers and logistical issues, managing unsuccessful attempts, and dealing with team conflicts and stigma. Conclusions The possibility of having to practise VAD causes moral distress and uncertainty for some PHCPs. Procedural clarity can address some uncertainties; moral and psychological distress, however, remains a source of tension that needs support to ensure ongoing care of both patients and PHCPs. The introduction of VAD post-legalisation may present an occasion for further moral education and development of PHCPs. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

In this short response to Kerstein and Bognar, we clarify three aspects of the complete lives system, which we propose as a system of allocating scarce medical interventions. We argue that the complete lives system provides meaningful guidance even though it does not provide an algorithm. We also defend the investment modification to the complete lives system, which prioritizes adolescents and older children over younger children; argue that sickest-first allocation remains flawed when scarcity is absolute and ongoing; and argue that (...) Kerstein and Bognar are mistaken to base their allocation principles on differences in personhood. (shrink)

This paper is an attempt to argue that there existed a very prominent view of signs and signification in late sixteenth- and seventeenth-century Europe which can help us to understand several puzzling aspects of baroque culture. This view, called here "pansemioticism," constituted a fundamental part of the baroque conception of the world. After sketching the content and importance of pansemioticism, I will show how it can help us to understand the (from a modern perspective) rather puzzling concept of the polymath, (...) or polyhistor, which constituted the ideal of the baroque scientist. In this context I will also discuss a seventeenth century phenomenon essentially connected with polyhistorism, namely that of the early modem polyhistorical collections, the Wunderkamnmern. Since such a study needs a clearly determined focal point, we will concentrate on the last three quarters of the seventeenth century and will mainly discuss works by German authors of the time. (shrink)

The U.S. Supreme Court regards parental rights as fundamental. Such a status should subject any legal procedure that directly and substantively interferes with the exercise of parental rights to strict scrutiny. On the contrary, though, despite their status as fundamental constitutional rights, parental rights are routinely suspended or revoked as a result of procedures that fail to meet even minimal standards of procedural and substantive due process. This routine and cavalier deprivation of parental rights takes place in the context of (...) divorce where, during the pendency of litigation, one parent is routinely deprived of significant parental rights without any demonstration that a state interest exists—much less that there is a compelling state interest that cannot be achieved in any less restrictive way. In marked contrast to our current practice, treating parental rights as fundamental rights requires a presumption of joint legal and physical custody upon divorce and during the pendency of divorce litigation. The presumption may be overcome, but only by clear and convincing evidence that such an arrangement is harmful to the children. (shrink)

Along with offering an historically-oriented interpretive reconstruction of the syntax of PM ( rst ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circum ex on a variable. I argue that this notation is used in PM only when de nitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (loosely speaking) is (...) not inconsistent with a philosophy of types that does not think of propositional functions as mind- and language-independent objects, and adopts a nominalist/substitutional semantics instead. I contrast PM’s approach here both to function abstraction found in the typed λ-calculus, and also to Frege’s notation for functions of various levels that forgoes abstracts altogether, between which it is a kind of intermediary. (shrink)

The theory and philosophy of artificial intelligence has come to a crucial point where the agenda for the forthcoming years is in the air. This special volume of Minds and Machines presents leading invited papers from a conference on the “Philosophy and Theory of Artificial Intelligence” that was held in October 2011 in Thessaloniki. Artificial Intelligence is perhaps unique among engineering subjects in that it has raised very basic questions about the nature of computing, perception, reasoning, learning, language, action, interaction, (...) consciousness, humankind, life etc. etc. – and at the same time it has contributed substantially to answering these questions. There is thus a substantial tradition of work, both on AI by philosophers and of theory within AI itself. - The volume contains papers by Bostrom, Dreyfus, Gomila, O'Regan and Shagrir. (shrink)

My aim in this article is to challenge the standard North American diet’s (SAD) default status in church and among North American Christians generally. First, I explain what is at stake in my guiding question—“Is unrestrained omnivorism as typified by SAD spiritually beneficial?”—and then I attempt to allay some common skeptical concerns about the suitability of food ethics as a topic for serious Christian discernment. Second, I develop a prima facie case that SAD is not spiritually beneficial, drawing on five (...) traditional sources for Christian moral deliberation, including and especially general revelation and discernment of the fruits of the spirit. I conclude that, in the absence of a rebuttal vindicating SAD, the church should actively encourage Christians to adopt more redemptive eating habits, and Christians who are able should take action toward this end. (shrink)

Daniel Dennett has offered a set of necessary and sufficient conditions for something's being the proper object of our moral commitment, that is, for something's being a person. Strict application of these largely pragmatic conditions, however, would result in a moral community with quite a surprising membership roster, because of both who is on it and who isn't. The problem is that "your" being a person should amount to more than a function of "my" goals and cleverness.

Over three decades ago, in a brief but provocative essay, Paul Ziff argued for the thesis that robots cannot have feelings because they are "mechanisms, not organisms, not living creatures. There could be a broken-down robot but not a dead one. Only living creatures can literally have feelings."[i] Since machines are not living things they cannot have feelings. In the first half of my paper I review Ziff's arguments against the idea that robots could be conscious, especially his appeal to (...) our linguistic usage. In the second half of the essay I try to provide a deeper ontological understanding of why we ought not attribute minds to nonliving artifacts. I argue that inanimate mechanisms are incapable of genuinely active and purposive behavior. They are importantly different in kind from living human beings and animals. (shrink)

Several interesting themes emerge from G. E. Moore’s previously unpub­lished review of _The Principles of Mathematics_. These include a worry concerning whether mathematical notions are identical to purely logical ones, even if coextensive logical ones exist. Another involves a conception of infinity based on endless series neglected in the Principles but arguably involved in Zeno’s paradox of Achilles and the Tortoise. Moore also questions the scope of Russell’s notion of material implication, and other aspects of Russell’s claim that mathematics reduces (...) to logic. (shrink)

Every criminal act ought to be matched by a corresponding punishment, or so we may suppose, and every punishment ought to reflect a criminal act. We know how to count punishments. But how do we count crimes? In particular, how does our notion of a criminal action depend on whether the prohibited action is an activity, an accomplishment, an achievement, or a state?

In previous work, I introduced a complete axiomatization of classical non-tautologies based essentially on Łukasiewicz’s rejection method. The present paper provides a new, Hilbert-type axiomatization (along with related systems to axiomatize classical contradictions, non-contradictions, contingencies and non-contingencies respectively). This new system is mathematically less elegant, but the format of the inferential rules and the structure of the completeness proof possess some intrinsic interest and suggests instructive comparisons with the logic of tautologies.

One of the goals of physiologists who study the detailed physical, chemical,and neurological mechanisms operating within the human body is to understand the intricate causal processes which underlie human abilities and activities. It is doubtless premature to predict that they will eventually be able to explain the behaviour of a particular human being as we might now explain the behaviour of a pendulum clock or even the invisible changes occurring within the hardware of a modern electronic computer. Nonetheless, it seems (...) fair to say that hovering in the background of investigations into human physiology is the promise or threat, depending upon how one looks at the matter that human beings are complete physical-chemical systems and that all events taking place within their bodies and all movements of their bodies could be accounted for by physical causes if we but knew enough. I am not concerned at the moment with whether or not this ’mechanistic’ hypothesis is true, assuming that it is clear enough to be intelligible, nor with whether or not we could ever know that it is true. I wish to consider the somewhat more accessible yet equally important question whether our coming to believe that the hypothesis is true would warrant our relinquishing our conception of ourselves as beings who are capable of acting for reasons to achieve ends of our own choosing. I use the word ’warrant’ to indicate that I will not be discussing the possibility that believing the mechanistic hypothesis might lead us, as a matter of psychological fact, to think of human beings as mere automata, as objects whose movements are to be explained only by causes rather than by reasons, as are the actions of a personal subject. I intend to consider only whether the acceptance of mechanism would in fact justify such a change in conception. (shrink)

From Soul to Self takes us on a fascinating journey through philosophy, theology, religious studies and physiological sciences. The contributors explore the relationship between a variety of ideas that have arisen in philosophy, religion and science, each idea seeking to explain why we think we are somehow unique and distinct.

We model scientific theories as Bayesian networks. Nodes carry credences and function as abstract representations of propositions within the structure. Directed links carry conditional probabilities and represent connections between those propositions. Updating is Bayesian across the network as a whole. The impact of evidence at one point within a scientific theory can have a very different impact on the network than does evidence of the same strength at a different point. A Bayesian model allows us to envisage and analyze the (...) differential impact of evidence and credence change at different points within a single network and across different theoretical structures. (shrink)